Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
A lightweight approach for the semantic validation of model refinements : | Pons, Claudia Fabiana |
(2008) |
---------- | |
Artículo |
An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE : | Pons, Claudia Fabiana |
(2006) |
---------- | |
Artículo |
Practical verification strategy for refinement conditions in UML models : | Pons, Claudia Fabiana |
(2006) |
---------- | |
Artículo |
Taking alloy to the movies : | Frias, Marcelo F. |
(2003) |
---------- |